home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / dviware / dvi2ps / oostrum / symbolex.ps < prev    next >
Text File  |  1990-10-01  |  1KB  |  53 lines
  1. % Postscript for extension font. Code is from James Clark, I think.
  2. % I got it from : Sebastian Rahtz <spqr@CM.SOTON.AC.UK>
  3. /Symbol-Extension 12 dict dup begin
  4.     /FontType 3 def
  5. %    /UniqueID 1 def % how is one supposed to choose this?
  6.     /FontMatrix [.001 0 0 .001 0 0] def
  7.     /FontName /Extension def
  8.     /Encoding 256 array def
  9.     /FontBBox [0 0 0 0] def
  10.     0 1 255 {
  11.         Encoding exch /.notdef put
  12.     } for
  13.     Encoding 8#040 /space put
  14.     Encoding 8#120 /sum put
  15.     Encoding 8#121 /product put
  16.     Encoding 8#130 /bigsum put
  17.     Encoding 8#131 /bigproduct put
  18.     Encoding 8#140 /coproduct put
  19.     Encoding 8#141 /bigcoproduct put
  20.     /BaseFonts [
  21.         /Symbol findfont 1000 scalefont
  22.         dup 1.4 scalefont
  23.         /Symbol findfont [1000 0 0 -1000 0 0] makefont
  24.         dup 1.4 scalefont
  25.     ] def
  26.     /CharStrings 8 dict dup begin
  27.         /.notdef [(\040) 0 250] def
  28.         /space [(\040) 0 250] def
  29.         /sum [(\345) 0 713] def
  30.         /product [(\325) 0 751] def
  31.         /bigsum [(\345) 1 713 1.4 mul] def
  32.         /bigproduct [(\325) 1 751 1.4 mul] def
  33.         /coproduct [(\325) 2 751] def
  34.         /bigcoproduct [(\325) 3 751 1.4 mul] def
  35.     end def
  36.     /BuildChar {
  37.         exch begin
  38.             Encoding exch get
  39.             CharStrings exch get
  40.             dup 2 get 0 setcharwidth
  41.             dup 1 get BaseFonts exch get setfont
  42.             0 0 moveto
  43.             0 get show
  44.         end
  45.     } bind def
  46.     /FontInfo 3 dict dup begin
  47.         /FullName (Extension) def
  48.         /ItalicAngle 0 def
  49.         /isFixedPitch false def
  50.     end def
  51. end definefont pop
  52.  
  53.